% Membership check for list
member(X, [X|_]).
member(X, [_|T]) :- member(X, T).